\begin{nusmvCommand}{show\_vars} {Shows model's symbolic variables and their values}

\cmdLine{show\_vars [-h] [-s] [-i] [-m | -o output-file]}

Prints symbolic input and state variables of the model with their
range of values (as defined in the input file).

\begin{cmdOpt}

\opt{-s}{Prints only state variables.}

\opt{-i}{Prints only input variables.}

\opt{-m}{Pipes the output to the program specified by the
\shellvar{PAGER} shell variable if defined, else through the
\unix command \shellcommand{more}.}

\opt{-o \parameter{\filename{output-file}}}{Writes the output generated by the command to
\filename{output-file}.}

\end{cmdOpt}

\end{nusmvCommand}
